Verification theory - PDFSEARCH.IO - Document Search Engine

Verification theory
Results: 377

#	Item
61	A Pattern-Based Approach to Parametric Specification Mining Giles Reger , Howard Barringer, David Rydeheard University of Manchester Abstract—This paper presents a technique for using execution Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2013-09-02 06:11:57 Automata theory Formal languages Logic in computer science Runtime verification Design Finite-state machine Regular expression C Sharp Pattern Computing Software engineering Theoretical computer science
62	BRICS Basic Research in Computer Science BRICS DS-00-7 M. Jurdzi´nski: Games for Verification: Algorithmic Issues Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-09-13 08:14:25 Logic in computer science Computability theory Formal methods Model checking Theory of computation Algorithm BRIC Halting problem Formal verification Theoretical computer science Applied mathematics Mathematics
63	Mukund Raghothaman Wednesday 8th October, 2014 Contact Details Department of Computer and Information Science University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-10-08 01:07:27 Computer science Rajeev Alur Formal sciences Automata theory Model checking IEEE Symposium on Logic in Computer Science Formal methods Formal verification Symposium on Theory of Computing Theoretical computer science Applied mathematics Logic in computer science
64	Treewidth in Verification: Local vs. Global⋆ Andrea Ferrara1 , Guoqiang Pan2 , and Moshe Y. Vardi2 1 DIS - Universit`a di Roma ”La Sapienza” Via Salaria 113, 00198 Roma, Italy Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2005-09-30 15:47:37 Tree decomposition Path decomposition Width Boolean satisfiability problem Graph theory Theoretical computer science Graph operations
65	INDEPENDENT TESTING AND VERIFICATION OF SOFTWARE INTSOK Road show May 2014 Håvard Røsvik International Sales Manager Add to Reading List Source URL: www.intsok.com Language: English - Date: 1969-12-31 19:00:00 Science Robotics Systems science Structure Cybernetics Control theory Systems
66	Kernel Methods for Text-Independent Speaker Verification Chris Longworth Cambridge University Engineering Department and Add to Reading List Source URL: svr-www.eng.cam.ac.uk Language: English - Date: 2010-02-25 03:54:38 Statistical theory Non-parametric statistics Kernel Support vector machine Multivariate normal distribution Expectation–maximization algorithm Normal distribution Kullback–Leibler divergence Maximum likelihood Statistics Statistical classification Estimation theory
67	Extending Coq with Imperative Features and its Application to SAT Verification Micha¨el Armand1 , Benjamin Gr´egoire1, Arnaud Spiwack2 , and Laurent Th´ery1 1 INRIA Sophia Antipolis - M´editerran´ee, France, Add to Reading List Source URL: assert-false.net Language: English - Date: 2012-02-29 08:17:30 Type theory Data types Computability theory Formal methods Models of computation Lambda calculus C++ classes Type system ALGOL 68 Software engineering Programming language theory Computing
68	Verifying Safety Properties using Separation and Heterogeneous Abstractions Eran Yahav∗ G. Ramalingam Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2004-04-25 07:36:40 Predicate logic Formal methods Logic in computer science Systems engineering First-order logic Model theory Java Database Connectivity Abstraction Formal verification Logic Mathematical logic Mathematics
69	Broad Based Black Economic Empowerment Verification Certificate Issued to Intervate Project Services (Pty) Ltd Level 1 Contributor Add to Reading List Source URL: www.t-systems.co.za Language: English - Date: 2014-06-06 05:48:26 Verification Public key certificate Systems science Qualifying Small Enterprises Systems theory Technology T-Systems Economy of South Africa Broad-Based Black Economic Empowerment Black Economic Empowerment
70	A Verification Toolkit for Numerical Transition Systems Tool Paper⋆ Hossein Hojjat1 , Filip Koneˇcn´y2,4, Florent Garnier2 , Radu Iosif2 , Viktor Kuncak1, and Philipp R¨ummer3 1 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2012-06-11 13:15:35 Logic in computer science Model theory Presburger arithmetic Proof theory Data types Computability theory Oz Abstract interpretation Peano axioms Mathematical logic Mathematics Theoretical computer science

UPDATE